#include <syscalls.h>
#include <xxxio.h>
#include <stdint.h>

/* user space wrapper for fork */
pid_t fork(void)
{
  syscall(SYSC_fork, 0);
}

pid_t sys_fork(void)
{
  pid_t child = 0x42;
  xprintf_c(0x9f, "Fork");
  xprintf("\n");
  return child;
}

int validate_fork(va_list args)
{
  return 0;
}

